category theory meaning in English
分类理论, 范畴论
小范畴
Examples
- Applications of modern category theory to lexical field
现代范畴理论在词汇领域中的应用 - Springer - verlag , second edition , 1998 . 7 category theory . wikipedia , the free encyclopedia , 2005
幺元类型可以和任何类型组合，并且保持组合另一方的类型不变。 - A typed category theory is proposed for the abstract description of knowledge and knowledge processing
为了兼顾知识的语义，我们引进类型的概念，提出带类型范畴论。 - Ijcai - 77 , 1977 , pp . 1045 - 1058 . 20 johnson m , dampney c n g . on category theory as a meta ontology for information systems research . in proc
对象间态射的缺失意味着知识内部结构性的缺失，从而产生了对各种知识不完备性以及不完备知识完备化的范畴论意义上的研究。 - Entity - relationship - attribute designs and sketches . theory and application of category theories , 2002 , 10 : 94 - 112 . 19 burstall r m , goguen j a . putting theories together to make specifications
所谓类范畴，就是放弃了带类型范畴中两个首尾相接的态射一定能组合成第三个态射，且它们的类型也相应组合这一要求。